# Full text of "Convergence of the self-dual Ginzburg-Landau gradient flow"

## See other formats

```Convergence of the self-dual Ginzburg- Landau gradient flow

Sophia Demoulini

Centre for Mathematical Sciences, Wilberforce Road, Cambridge, CBS OWB, England

email:sd290@cam. ac. uk

Abstract

We prove convergence of the gradient flow of the Ginzburg-Landau energy functional on
a Riemann surface in the self-dual Bogomolny case, in Coulomb gauge. The proof is direct
and makes use of the associated nonlinear first order differential operators (the Bogomolny
operators). One aim is to illustrate that the Bogomolny structure, which is known to be of
great utility in the static elliptic case, can also be used effectively in evolution problems. We
also identify the minimizers and minimum value of the energy when the Bogomolny bound is
not achieved (below the Bradlow limit).

MSG classification: 58J35, 35Q56

1 Introduction and statement of results

We consider the self-dual Ginzburg-Landau, or abelian Higgs, energy defined over a two dimensional
Riemann surface S:

V(A, = - / I^A^ A *Dx^ + F*F+-{l- |\$|^))^ * 1

Here the Higgs field, is a section of a complex line bundle L — )■ S with fixed metric h, and
F>A = (-Ci, D2) = V — iA is the covariant derivative operator defining an connection on L, with
curvature 2-form —iF. We will assume that the degree N = deg L is a non-negative integer (but
everything in this article has an analogous version in the negative case). It is known from [2] that
for |S| > 4ttN the minimum value of V is ttN and is attained on the set of self-dual vortices, which
are solutions of the Bogomolny equations (11. 5p ; these form a system of first order partial differential
equations, solutions of which are minimizers of V when they exist. The presence of such a system of
first order equations is a special feature of the functional V which is related to self-duality ([3 [2]).
gradient fiow quite simply by making use of the Bogomolny (or self-dual) structure in (jl.4p - (jl.5p

it is also proved that for | S | < AttN the minimum value of V is ttN + where I = 27riV — '-^ ,
and this is achieved by taking <I> = and A to be a constant curvature connection.

A similar proof of convergence for the SU{2) Yang-Mills-Higgs functional on was carried
out in [7]; this is closely related to the case |S| > 4ttN in this paper. The crucial structural
features exploited there for Yang-Mills-Higgs also hold for the Ginzburg-Landau flow in the case
|S| > AttN: by (j3.18p the first order Bogomolny operators (j3.16p - (j3.17p converge to zero, while
()3.30p then implies the convergence of (A, \$) as t — t- -|-c«. The case |S| < iirN is different: indeed
this latter inequality is an obstruction to the existence of solutions to the Bogomolny equations

([2]), and so the first stage of the argument just outhned necessarily fails. We give, however, an
alternative set of quantities in (I3.45p . whose large time behaviour can be analyzed, and which serve
as an effective alternative to the Bogomolny operators in this case. Compared to the adiabatic
approximation method in [4j, where convergence of the Ginzburg-Landau flow was proved for the
case S = M^, the proof here is certainly more efficient although it makes less contact with the
physics of vortices. It is also possible to prove convergence by the very general method based on
the Lojasiewicz inequality in as has been done in [6j. In comparison with these previous results,
the present method does provide the additional information that convergence is at an exponential
rate. Furthermore in view of the importance of the Bogomolny self-dual structure in the elliptic
case, it seems worthwhile to illustrate its utility in the parabolic context, as was done also in [3]
for vortex dynamics in a conservative (Hamiltonian) context.

Introducing conformal coordinates {x^}^^^, in which the metric takes the form

g = gjkdxHx^ = e^P{{dx^f + {dx^f)
with associated area form d^g = e^^dx^ A dx'^, the energy functional V is given by

V(A,cI>) = i|^(|DA^|V2p + B'- + \{l-\<^\^f) dt^g. (1.1)

If we fix a smooth connection V on L then Da is determined uniquely by a real 1-forni

A = Aidx^ + A2dx'^ G n\^)

where : S — )• R, according to

I?A:=V-iA. (1.2)

The curvature, or magnetic field B, of a connection Da = Djdx^ is determined by DjDj^^dx^ A
dx^ = —iF^ = —iB^dfig. Its integral is a topological invariant of L:

I Bdjjg = 2t:N (1.3)

with = deg L. We will choose V to have constant curvature 6; this value is then fixed topologically
as 6 = 27rA^/|S|, where |S| = dfig is the area of S. It follows that

B = b + *dA = b + e-^P{diA2 - ^2^1).
1.1 The Bogomolny equations

A crucial property of the energy functional (jl.ip is that (in appropriate functions spaces in which
e.g. integration by parts is valid) it admits a Bogomolny decomposition into a sum of squares of
first order terms:

V(A,\$) = ^£(4|9A\$pe-2^ + (S-l(l-|\$|2))2) dt,g + ttN (1.4)

where as above N = degL and

dA<^> = ^iDi+iD2)'^.

If the following first order equations, called the Bogomolny equations,

Sa* = 0,

have solutions in a given class, they will automatically minimize V within that class (this theory -
and conditions under which solutions exist - is developed for the plane and for surfaces in [8lll01[2]).

Our main theorem concerns the large time behaviour of global weak (Sobolev) solutions to
1.61 in Coulomb gauge (the existence and uniqueness of which is shown in section [2]). We show
that as t — 7- oo this solution converges exponentially fast to a minimizer of (jl.ip a solution of the
Bogomolny equations when |S| > 4ttN . We make the assumption of small (close to equilibrium)
initial energy.

We will make use of the Bogomolny equations to derive the asymptotic convergence of weak
solutions to the gradient flow equations in section [3l In fact, the convergence of such solutions to
minimizers of the energy provides an independent proof of the existence of minimizers and solutions
to the Bogomolny equations in the case when |S| > AttN.

1.2 The time-dependent equations and statement of the main theorem

Associated with the energy functional (jl.ip are the Ginzburg-Landau gradient flow equations in
the variables (A, = (^o,A,^>) = (^0,^1,^2,^) on [0, 00) x S:

(|,A)(A,cI>) = -V(A,cI>)

and equivalently,

dAi

dAo

dB

dt

dx^

dAo

dB
dx^

dt

dx"^

- Aa\$-

:i.6)

where the covariant Laplacian Aa is deflned as

This is the fully gauge invariant version of the Ginzburg-Landau gradient flow. The Higgs field ^,
now depending on time t > , is a section of a complex line bundle L = [0, 00) x L — t- [0, 00) x S
on which there is a connection

A = (^0,^1,^2) = (^o,A)

with associated covariant derivative D = {Dq, Di, D2) = {Dq,Da), where Dq = §1 — iA^ is the
time component and Dx = {Di,D2) is the spatial component as in (jl.2p with Ai now depending
on time t > as well as x G S. The dependent variables are thus the Higgs field \$ and a real
1-form AQdt-\- Ajdx^ on [0, c«) x S. The system is invariant under the infinite dimensional group of
gauge transformations: if xi^i^) is a smooth function then [Aq, Ai, A2,^) is a smooth solution of
(jl.6p if and only if {Aq + dtX-, Ai + dix, A2 + d2Xi e*^<I>) is a smooth solution of (|1.6p . This means it

is possible to place further conditions on the solution, and this is necessary to obtain uniqueness.
We impose the Coulomb gauge condition :

div A = e-^P{diAi + ^2^2) = ; (1.7)

a solution, or set of initial data, is said to be in Coulomb gauge when this condition holds for all
relevant t. In addition, we will require that

Aodfig = (1.8)

at all relevant t: this may be achieved by applying to the solution {Aq, Ai, A2, \$) at each (t, x) the
gauge transformation x{t) = fT,^odfJ.g-

Initial data and Coulomb gauge: We specify (A, <1>) = {Ai,A2,^) at t = which in Coulomb
gauge also determines Aq initially. To see this, we eliminate Aq from the full (gauge invariant)
equations (11. 6p by taking the divergence in the equation for A under the condition (11. 7p . This
leads to the equation for Aq in Coulomb gauge,

- AAq = div Da<^) . (1.9)

Lemma 1.1 For each fixed t > there is a smooth function (A, <I>) 1— )• a(A, <I>) from H^{L(B^^) — )■
H^'*^, for any 1 < q < 2, which is the unique solution of (\1.9h satisfying (II. Sp .

Proof Because ^ e then for all p < 00, <I> G LP, Da^ G L"^ and so div Da^) G H~^''^ for
all g < 2. It follows that (|1.9p has a unique solution = a(A, <I>) verifying (jl.Sp as described in
the lemma. □

Remark 1.2 Furthermore, if ^ satisfies (jl.6p then fort a.e. —AAq = div {i^, Da^) = {i^,DQ^) ,
and so by standard elliptic theory,

\\Ao\\h2,p < Cs\\{i^,DQ^)\\LP ,

where finiteness of the right hand side will be justified in section Wl\ By Sobolev imbeddings, here
applied for 1 < p < 2 at each time t > 0,

WAqWh^.p < CiW^W 2p ||Do^||l2 and so \\dAQ\\i2 < C2\\^\\Hi Wo^Wl^- (1-10)

L-'-P ^

As a particular consequence, ^0 is initially determined through the initial data for (A,<I>). In
addition, the estimates p.lUp will be used below to derive estimates for Dq^.

Explicitly applying the gauge conditions (jl.Tp and (jl.Sp and substituting Aq = a(A, \$), the
system (jl.6p becomes the following nonlocal parabolic system:

A = AA + da + {i^, Da^)

\$ = A\$ - 2ie~^Pj2^j^j'^ - e"^''| A|2\$ + + ^(1 - |\$|2)^. (l'^^)
j

with initial data specified for (A,\$). We discuss existence of this system in section [2] and we will
need the following spaces.

Function spaces: We will work with spaces of functions H'^'P(T,) which may be defined either

(i) by using a partition of unity to reduce to the Euclidean case (the standard spaces H^'P{M?)), or

(ii) by appealing to the spectral theory for —A to define a functional calculus and then introducing
the norm as

||/||H^,P = ||(l-A)f/||iP.

Let fj be an orthonormal basis of eigenfunctions, —^fj = ^jfj with < Ai < A2 < • • • , then for
p = 2 an equivalent norm on H'^ = H'^'^ is

11/111,.= ^(1 + A,r|c,f, where / = ^c,/,. (1.12)

j

These definitions extend to sections of vector bundles L, in which case we write H'^{L) for the
corresponding spaces defined with respect to the connection V and its corresponding Laplacian
g-2p^Y2 _|_ y2-j. £qj. 5 = X an equivalent norm is

|2

\\nHiiL) = jj\'^\' + \^mdfig. (1.13)

In the above integral the inner products are the standard ones induced from h and g. The definitions
also extend to 1-forms using the Hodge Laplacian A = —{d5 + 5d), (with the sign chosen so that
it is non-positive). In conformal coordinates:

{AA)i = diie-^PidiAi + d2A2)) - eijd,ie-^PidiA2 - Qa^i))
= -eijdjB

when the Coulomb gauge (jl.7p holds. The corresponding norms are written H''^{Q^) where is
the space of one- forms on S with coefficients in .

The main theorem

For data we derive existence of a solution also in in the following section in the Coulomb
gauge. The main result concerns the time asymptotic behaviour of these solutions which are shown
to be exponentially converging to an energy minimizer. The minimum energy depends on whether
the size of E is large enough to support the existence of vortices (O [TO]):

■nN if S > A-kN

^^^(4.iV |E|)^ .f^<4.Ar.

85]

Let

Vo = V(A(0),\$(0))
be the initial energy. The following is the main theorem

Theorem 1.3 (Main Theorem) Given finite energy initial data (A(0),\$(0)) G H^{Q}®L) sat-
isfying the Coulomb gauge condition (jl.7p and such that ep with

< Vo — Vmin = eo

is sufficiently small there exists a unique global solution (^0, A,^>) with Aq € C([0, 00)); i?i'P(S))
for any p < 2, and (A, ^>) G C([0, 00); ^^(f]^ L)) of ([II]), satisfying ([LTD and ([TS]) with the
following large time behaviour:

> iirN then {A, ^ {Aoo,^oo) in {n^e L) where (Aoc^oo) is a solution of the
minimum energy static (Bogomolny) equations and where <I>oo has precisely N zeros (vortices)
on E. Also ^o(^) ~^ strongly in L"? for all q < oo. The minimum value of the energy in
H^{L is attained and is ttN.

i/|E| < A-kN then{A,^) ^ {A^,Q) whereD = V-iA oc is a constant curvature connection
at which the minimum value of the energy in H^{L © O-*^) is achieved and equals

V(A„.0)= min V-^A' + a^i^.

m{L(Bn^) 8|S|

Convergence is at an exponential rate, namely, 3 c,6>0 depending only the initial data such that

||(A,\$)-(Aoo,\$oo)||l2 <ce~^*, respectively, || (A, \$)- (Aoo, 0)11^2 < c e-"^*. (1.14)

Global existence for (jl.6p is established in the following section, making use of standard (semi-
group) techniques (theorem 12.10 . The proof of asymptotic convergence, which is the main content
of theorem 11.31 is then given in section [3l

Remark 1.4 Convergence in stronger norms for s < 1 can be deduced by interpolation between
LP' and from (jl.l4p . using convergence in ("low" norm) and boundedness in (or "high"
norm) guaranteed the energy non-increase. Furthermore, when boundedness can be proved in higher
norms than then interpolation would lead to convergence in for higher s by standard parabolic
theory.

Remark 1.5 The case

|S| = 47riV

is degenerate (as becomes clear from reading the proof) and it is conceivable that exponential con-
vergence may not occur, even if the initial energy is close to the minimum energy.

Remark 1.6 The condition that the initial energy be close to the minimum energy can be relaxed
in situations when there are no non-minimal critical points (JBi chapter 3]). The energy is strictly
decreasing (as it is a gradient flow) and so it must decrease to the energy of a critical point. If non-
minimal critical points do not exist then the energy must decrease to its minimum value, in which
case it approaches the minimum energy, and then the conclusion of the theorem holds regarding
exponential convergence. This is not discussed here further.

2 Existence theorem

There are different ways to obtain a global existence theorem for these equations, for example using
maximum principles (as for the case of the same equations on in [4]) or energy methods as done
here, using semi-group techniques explained in e.g. [12] and elsewhere. To use the energy norm
method, we first reduce our system in Coulomb gauge to a system for (A, <I>) given in (11.110 : then
we show that for data (A(0),\$(0)) there is a unique global weak solution of those equations,
also in H^, varying continuously in time.

Theorem 2.1 (Existence in Coulomb gauge) Given initial data (A(0), <I>(0)) G H^{Q^ © L)
(which implies finite initial energy V(A(0), <I>(0)) = Vq < oo), there exists a unique mild solution
of (jl.lip with regularity (A,<I>) G C([0, oo); © L), which satisfies

V((A,<I>)(t))<V((A,\$)(0))

for all t > 0. For smooth initial data the solution is smooth, and for H^{U^ © L) initial data the
solution is the limit in C;oc([0, oo); H^{Q,^ © L) of smooth solutions.

Proof Writing U = (A, \$) and CU = (A A, A\$) the system (fTTTI) is of the form U = CU + FiU),
which can be treated as an abstract evolution equation in the space X = H^{Q}'(BL). We introduce
also the auxiliary space Y = H~^[Q^ © L), and make use of the following facts:

• e*"^ is a strongly continuous semi- group of contractions on X for t > 0,

• e*^ : y ^ X for t > 0, with ||e*-^||y_,x < Cr^/^ for < t < 1,

• T : X ^ Y is a smooth function satisfying \\T{Ui) — J^{U2)\\y < K{R)\\Ui — U2\\x for
\\Uj\\x<R-

The first of these is a standard property of the heat equation. The second can be derived using the
spectral representation introduced above:

which implies that

\\e'''f\\ls=Y,e-''^^{l + \,r\c,\''<Cs,rmffHr

s

with Cs,r{t) = sup^>Q — ~ ~ as t — )• 0. The third assertion follows by examining

the various terms which constitute and applying appropriate embeddings for the spaces, in
particular C and Ls c H^^ (continuous embeddings). For example, the current term
(i<I>, V<I>) in the \$ equation arises as a continuous bilinear map x L'^ ^ La c H^^ bounded by
|(i<I>,V<I>)| 4 < c||<I>||^4 ||V<5||j;^2. The other terms in are treated similarly (using lemma [TTT] to
handle the a terms).

These three properties imply (see [121 §15.1] that the integral operator U — e^^^^''^J^(U{s))ds
is a contraction on C([0,T];X) for sufficiently small T, and in fact T can be taken to be a
positive non-increasing function of ||Z^(0)||x- This implies that there is a unique local solution
U G C{[0,T]; X), and also that, given two sets of initial data Z^i (0) , (0) in X, the well-posedness
estimate

mayijUi{t)-U2{t)\\x < c\\Ui{0) - U2m\x

holds for some c > 0, for T sufficiently small (again depending only on ||ZYj(0)||x-) From this it
can be deduced that for initial data the solution remains in H^, and in fact for initial
data the solution remains in H'^ for all s > 2. Thus the solutions can be approximated by
regular solutions, and obey the energy non-increase : V((A, <I>)(t)) < V((A, <l>)(s)) for t > s.

As a consequence the norm is globally bounded and there exists a unique global solution
U G C([0,cx));X) of the corresponding integral equation

U{t) = e'^U{0) + f e^'-'^'^F{U{s))ds
Jo

with the approximation property asserted. □

3 Asymptotic behaviour and proof of the main theorem

We continue to use the Coulomb gauge in which Aq is eliminated as an independent variable by
lemma [Tm We consider the cases |S| > iirN and |S| < AttN separately. In each case we introduce
auxiliary variables which are specially tailored to reveal the asymptotic convergence of (A, to
a limit {Aao,^oo) which is characterized differently depending on whether the surface area |S| is
bigger or smaller than AttN. In the following proofs we shall make use of the norm

= [ (|7?|2 + \Dj^rj\^) dfig (3.15)
defined with respect to the time dependent connection = V — iA.
3.1 Proof in the case |S| > inN

It is useful to introduce the Bogomolny variables v = v{A, <I>) and ij = r]{A, defined as

r] = Ba^ (3.16)
v = B-^il-\^\') (3.17)

where, as above, Ba = ^{Di + iD2). In terms of these variables the energy decomposes:

V = ^JjA\rj\h-^P + v^)df,g + ttN,

as was seen above in ()1.4p . The evolution of these variables is according to

DqT] - 4:8 Aie'^^d All) + = -vr],

d (3-18)
(|-A + |cI>|> = -4H^

These equations can be obtained from (jl.6p by first applying the operator Ba to the equation for
^, using the identities (in conformal co-ordinates)

48aBa = Dl + Dl + e^PB , Aa = e-^f'iDl + DI)

and

9aAa - 4BA{e-''PdA)BA = -{BB) - BBa

and

[dA,DQ\='-{Ai+iA2)-idAo

(where BAq = {BAq) + AqB) and finally using the equation for A in the last commutator. (To
derive the final commutator use also that the background connection V is fixed independent of t,
i.e., [|,V] = 0.)

We will show (using lemma [3^ that

(??, v) — > (0, 0) as t — )• oo

(in specified spaces) and then deduce via lemma [3l4l the convergence of (A, as stated in the main
theorem. For this consider two energy-type quadratic forms, respectively associated to each of the
equations in 13.181 (at each time t > 0) defined as

QaAv) = j^{4.e-^'\dAV\^ + e-^''\'^\^\v\^)di^g , (3.19)
Q'fiv) = j (^e'^P{\Div\'^ + \D2v\'^) + \<l>\'^v^yfig. (3.20)

Remark 3.1 It is shown in ^3] [lemma 3.2.2] that these quadratic forms are coercive in and
respectively, provided that > m > 0.' to be precise, under this assumption on \$, there

exists 7 = 7(m, M) > (where recall that V < M < oo and M = ttN + 1), such that

Qa, \$(??)> 7||??||^^ and Q<i>('u) > 7||v||^i • (3.21)

That the assumption on \\^\\l2 is a valid one can be shown as follows: by the Bogomolny decompo-
sition of the functional V (II. 4p and the topological invariant (11. 3p .

ISI 11\$

27riV - — +

|2

Il2

from which it follows that.

2 2

\q>\\\^ = |S| -AttN + 2 I V

> |S| -47riV-2(2eo)^|S|^ ^^'^^^

>

for eo sufficiently small.

In terms of the quadratic forms Qa,^, the variables rj, v satisfy the following inequalities:

Lemma 3.2 Let (A, <I>) be as in theorem \2.1\ and define {rj,v) as in p.l6p - (j3.17p . Then for any
time T > 0, the following identities hold

e''^UT)\\l,+2 f e^'\QAAv)-m\h)dt < ||77(0)||i. - 2 j"" J^e'''v\v\'e-'Pdi,gdt,

(3.23)

T

e''^''\HT)\\l2+2 I e^^'{Q^{v)-6\\v\\l2)dt < \\v{0)\\l2 - 8 j l^e^^'v\ri\^e-^PdfXgdt.

(3.24)

Proof For smooth solutions multiply 13.181 respectively by t] and v and integrate with respect to
e'^^^e~^Pdfigdt over [0, T] x S. For more general finite energy solutions use the approximation prop-
erty in theorem 12.11 □

The above lemma implies the exponential decay of r], v under the conditions on \$ for co-ercivity
and for initial energy sufficiently close to its minimum.

Corollary 3.3 (Exponential decay) For all 6 e (0, ^) and < eo with ^/2eo < g^, ifV{A, <!>)-
ttN < eo, then

oo

snpe''\Ut)\\l + \\v{t)\\l) + 6 e''\Ml.+\\vfm)dt< 2(||r?(0)||i. + ||^(0)||i.) . (3.25)
f>o Jo ^

Proof Recombining the terms in ()3.23p we have the following bounds

[QaMv) - SMh) dt + 2^ 1^ e^''v\r,\''e-^Pdfigdt

>2 [ e2^*(7-(5)||?7||^i dt - 2sup||7;||i2 [ e'^^^Ml^ dt
Jo ^ t Jo

2 / e2^*

> / e^^\2j-26 - 4C,2sup||v||i2)||r/||^i dt

Jo t A

(3.26)

as there exists Cg > such that \\r]\\n < Cs\\'r]\\f^i by the Sobolev inequality. (Covariant Sobolev
spaces and extensions of standard inequalities in these were discussed in the appendix in j3]). By
the energy non-increase,

sup \\v\\l2 < V2(V - ttN) < \/2(Vo - vrA^) = (3.27)

[0,T]

and so for y/2eo < "^lyj^^ (which is implied by the assumption on eg), the final term on the right
hand side of (|3.26p is bounded below as

rT

> 6 / e2^*||r/||^i dt.
Jo ^

Hence from (j3.23p

sup e'''Mt)\\l. + S f e''%\\l. dt< Uml^- (3.28)

tGfO.Tl JO ^

Using this and (|3.27p (together with Holder's inequality and the same Sobolev imbedding as above)
we can bound the final term on the right hand side of (j3.24p :

8 /7 e'''v\rj\\-'^d^,gdt<8 r [ e'^'M,. C^Ml. dt < ^^^\m\\h < imWh

for ^/2e^ < Using this and in we have

sc.?

rT

5 e^''\\v\\l,dt <2 e^''{Q^{v)-6\\v\\l,)dt < [WmWh + \Hmh) (3-29)

which proves the corollary. □
In terms oi v = B — ^(1 — and r/ = Ba^ = ^{Di + iD2)^, the equations (11.60 read (in

gauge invariant form):

dAi dAo . dv

dA2_dAo^ (3.30)

We will now show that the equations p.30p together with the estimates p.25p and also (jl.lOp
for Aq imply the convergence as t — )• oo in gf 1 1— ). (A, \$)(t) at an exponential rate.

Lemma 3.4 In terms ofr],v above,

\\A\\L2 + \mL2<cm\HX + \Hm) (3-31)

which together with the estimate (j3.25p completes the proof of the theorem in the case |S| > 4ttN .

Proof Unless specified otherwise the generic constants c, c' depend only on S.
Firstly,

;i _ |\$|2)2 = _ 2||\$||^2 + ll^ll^^ > |s| - 2||^>||^4|S|5 + ll^ll^^ > i||\$||^4 -

(as ||\$||22 < ||\$||2^|S|3 < i||\$||^4 + |S|). Therefore,

V(A,\$) > c(||L»A^|li2 + ll^lli*) -c' > c||\$||^^-c'

and using the energy non- increase (shown at the end of the proof of the existence theorem 12. ip this
implies

||\$||i4 <c(Vo,S) (3.32)

where Vq is the initial energy.

The last equation in (j3.30p implies

\\Donh < cdir/ii^^ + ib^iii^)
< c{M\i,^ + \mUv\\%)

<c(Vo,S)(||r7||^^ + ||H|^,)

Therefore by (13:25]) .

Do^Wlie'^^^ dt <oo (3.33)

which implies the exponential decay of t i— )• Dq^. However, as seen in the previous section, the
equation for <I> implies in the Coulomb gauge

and then the Calderon-Zygmund inequahty, given the condition f Aodfig = 0, imphes

\\Ao\\H2,r, < c{^,p)\\{i<^>,Do<^)\\LP.

For p < 2,

\\{i<P,Do<^)\\Lv <\m (3.34)

<c(Vo,S)||L>o\$||i2. (3.35)

Therefore, together with (|1.10p

Po|ll/2,p + lld^ollia < cpo^llia. (3.36)

Therefore,

/■OO

/ (Pollia.p + \\dAo\\l2)e^^' dt < oo (3.37)
Jo

by ()3.33p . By the equation for \$ in ()3.30p we also have

II— \$11^2 < po^>||i2+c(||??||^^ + ||?;||j^i) (3.38)

< c(Vo, S) (Po^IIl^ + ll^ll^i + MhA (3.39)

and so

Similarly for A, we obtain

I ^ ^||2 „2St

l|A||i,.-

(3.40)

dt < oo . (3.41)

These estimates immediately imply ()3.3ip by the equations (j3.30p and then by ()3.25p we conclude
that

^(A, <!>) = / on [0,oo)xS

where / G and ||/||j;^2 (t)e^'^*(it < oo, and thus

(Aoo, \$oo) = limt^^{A{t), ^>(t))

exists in with exponential rate of convergence.

From these estimates and the above we have that ^> G and so is in for all p < oo and
as i — ^ oo, <I> <^oo strongly in L^, Da^ -Daoo^oo weakly in L^, hence ^Da^ — > ^I'oo-Daoo^oo
weakly in L^; in addition, as <I> is bounded in L"? for any q < oo (from <I> G H^), the product
^Da^ is bounded in L'' for every q < 2. This implies weak convergence in L'' for g < 2 so that
div{i^, Da^) converges weakly in H~^''^; by Calderon-Zygmund then Aq converges to a limit Aqoo
weakly in H^'*^ for each q < 2 and so strongly in every for p < oo. Clearly by (13.370 this limit
is zero.

This completes the proof of the theorem in the case |S| > 47rA^. □

3.2 Proof in the case |S| < iirN

In this case a different approach is needed because the condition ||^||^2 ^ ^ > which held and
was used in the previous section is no longer valid (as is obvious from the explicit form of the
lower bound in ()3.22p ). Indeed, as first observed in [2j, in this case there are no solutions to the
Bogomolny equations ()1.5p . To see this fact, integrate the equation v = over S to deduce

2nN - ^ + = (3.42)

which is an impossibility when 47rA^| > We will show instead that the minimizers of V have
u = 1^ = constant and H'l'lli^a = 0, i.e. the field <I> is identically zero and Da = V — iA is a
constant curvature connection on L. Notice that the value of the constant / is fixed as

/ = 27riV - > 0, (3.43)
since vd^g = / + |||'&||^2 by integration of (I3.17p . Now define d> ^hy d? = \T,\/ v'^dfig, then
2^y w^d/Xg^ ^ |\$]| 2 = d J w^d/Xp + -Li = 2 J vdfig + J [Vdv — —=)'^d^g

= 2{i + ^\ml,) + \\{Vdv-^)\\l,.

Referring to (jl.4p . this implies that the energy V can be written

V(A, \$) = 2\\dAnh + ^ [2(/ + ^Wnh) + U^v - + ^N. (3.44)

From this it follows, since / > 0, that V > ttN + ^j^y that this lower bound is achieved
with \$ identically zero and B = = constant, so that v = = ^ = constant. Thus although
the Bogomolny bound vrA^ is not itself achieved in the case 4:7rN > |S| we have identified the
greatest lower bound and shown that it is achieved with the "pure magnetic" constant curvature
connections:

Lemma 3.5 For \T,\ < inN

■ .r (47rA^-|S|)2

mm V = vriV + , '

m{L®n^) 8\T,\

and this minimum value is achieved by taking the Higgs field ^ identically zero and D to be a
constant curvature connection.

To analyze the gradient flow in this case it is useful to introduce the variable y = v — I (in place
of v), so that (|3.18p are replaced by

Doll - AdAie-^PdAV) + {l + |\$P)r? = -yrj,

(^_A+|cI>|2)y = -|<I>|2/_4|^f

Do<S> - Ae^'^PdAdA'^ + l<^ =

|--A + |cI>|2)y = -|<I>|2/_4|,?|2, (3.45)
ot

Corresponding to (j3.23p we have the fohowing integral inequahties for solutions of (j3.45p

y(r)||i,+2^ e''''[Q^iy)-5\\y\\l,)dt < ||y(0)||i. - 2 ^ ^ e^^d^l'/ + 4|r?|2)e-2^d/i,dt,

2^^||<I>(r)||22 +2 j"^ e''^'(\\dAnl2 + {l-6)\ml2)dt < \m0)\\l,-2 j"" j e^^' y\^^ e-^P d^igdt.

(3.46)

Notice that since I > 0, there is a natural mechanism forcing \$ to converge to zero at an
exponential rate. However this fact necessitates modification of the arguments based on the lower
bounds in lemma [321 which are dependent upon ||\$||2,2 > m > 0. The presence of / > in the
integrals in the first and third identities means that for 5 < | there exists 7 = 7(Vo, /) such that

QAMv) + {l-m\\h>7h\\li^, and (3.47)

WdAnh + (/ - S)\ml, > mli^- (3-48)

For the middle identity, recall that ify = -^Jj.y then Poincare's inequality says that

/ e-^P Yl \9ky\^dfig > Cp\\y - y\\l, > Cp{\\y\\l, - \\y\\l,),

k

SO that there exists 7' > such that

But also I + y = 1^/2^ = ^+ 2|b| H^Hi^' ^° ^^sX y = 2l^ll'^lli2- Therefore, overall we have the
following set of controlling inequalities:

e^'^MT)\\l,+2 r e^^'^Ml^dt < ||r?(0)||i, - 2 T / e^M^pe-^Pd/i.dt,

e

' ^ Jo JT.

2^^"y(r)||i.+2^%2^*((7'-<5)||y||^.-yily|li.)dt < Il2/(0)||?

-2 r / e%(|\$p/ + 4|7?|2)e-2^d/i3dt,

Jo JT.

rp rp

^T)\\l, + 2 [ e^^'^m^dt <\M0)\\l,-2[ [ e^^'y\<^\^e-^fdfigdt
Jo ^ Jo Jt,

Add the three inequalities, and use the fact that ||y||^2 = 1^1 |yP = ^y||^||^2 to absorb the negative
term in the integral in the second inequality by the integral in the third one. Next bound the
nonlinear terms on the right hand sides in the same way as in (j3.26p - (|3.25|) . and conclude that as
long as 112/(0)11^2 is initially small then

lL2

cT

e^'^MT)\\l, < \m\\h,

e''''UT)\\h < wvmh,
e^'^mmi, < wmwh,

holds for all T > 0, and

/

Jo

oo

y\\m + \\nli^ + \\v\\li^

dt < oo

(3.49)

from which convergence can be deduced as in the previous section: (j3.33p and (j3.37p hold as a
consequence of (j3.49p . and hence by the first two equations of (j3.30p the estimate (j3.4ip also holds,
and so A(t) converges to a limit A^o at an exponential rate. The proof of the main theorem is now

References

[1] E. Bogomolny, Stability of Classical Solutions, Soviet Journal of Nulclear Physics 24 861-870 (1976).

[2] S. Bradlow, Vortices in holomorphic line bundles and closed Kaehler manifolds, Commun. Math. Phys.
118 1-17 (1990).

[3] S. Demoulini and D. Stuart, Adiabatic Limit and the Slow Motion of Vortices in a Chern-Simons-
Schroedinger System, Commun. Math. Phys. 290, 597-632 (2009).

[4] S. Demoulini and D. Stuart, Gradient flow of the superconducting Ginzburg-Landau functional on the
plane, Commun. Anal. Ceom. 5(1) 121 - 198 (1997).

[5] S. Demoulini, Global existence for a nonlinear Schrodinger-Chern-Simons system on a surface, Ann.
Inst. H. Poincare Anal. Non Lineaire 24(2) 207-225 (2007).

[6] E. Feireisl and P. Takac, Long-time stabilization of solutions to the Ginzburg-Landau equations of
superconductivity Monatsh. Math. 133, 3 197-221 (2001).

[7] A. Hassell The Yang-Mills-Higgs heat flow on J. Funct. Anal. Ill (2) 431-448 (1993).

[8] A. JafFe and C. Taubes, Vortices and Monopoles, Birkhauser, Boston, 1982.

[9] J. Jost, Riemannian geometry and geometric analysis, Springer- Verlag 1988.

[10] M. Noguchi, Yang-Mills-Higgs theory on a compact Riemann surface J. Math. Phys. 28, 2343 (1987).

[11] L. Simon Asymptotics for a class of nonlinear evolution equations, with applications to geometric
problems Ann. of Math. 118 (3) 525-571 (1983).

[12] M. Taylor, Partial Differential Equations I-III, Applied Mathematical Sciences, vol 117, Springer- Verlag

complete.

□

1996.

```